『数学ガール 3 ゲーデルの不完全性定理』
https://gyazo.com/3f50e5fd91d2f26e316df969c322bbcd
#数学ガール
結城浩
/mrsekut-book-4797352965
スクボを使う以前に1度読んだが、メモが何も残ってないので再読する
mrsekut.icon
初めて読んだときの動機は
tcfm
だったと思う
1
2
ペアノの公理
ここでの自然数は1以上として扱う
ペアノ算術(PA)
3
集合
外延的定義
内法的定義
ラッセルのパラドックス
全単射
4
極限
5
6
7章
対角線論法
#スクボ読書化した本